Even Accelerating Machines are Not Universal
نویسنده
چکیده
We draw an analogy between Godel's Incompleteness Theorem in mathematics, and the impossibility of achieving a Universal Computer in computer science. Speci cally, Godel proved that there exist formal systems of mathematics that are consistent but not complete. In the same way, we show that there does not exist a general-purpose computer that is universal in the sense of being able to simulate any computation executable on another computer.
منابع مشابه
No . 2005 - 492 THE MYTH OF UNIVERSAL COMPUTATION ∗
It is shown that the concept of a Universal Computer cannot be realized. Specifically, instances of a computable function F are exhibited that cannot be computed on any machine U that is capable of only a finite and fixed number of operations per step. This remains true even if the machine U is endowed with an infinite memory and the ability to communicate with the outside world while it is att...
متن کاملSome improvements in fuzzy turing machines
In this paper, we improve some previous definitions of fuzzy-type Turing machines to obtain degrees of accepting and rejecting in a computational manner. We apply a BFS-based search method and some level’s upper bounds to propose a computational process in calculating degrees of accepting and rejecting. Next, we introduce the class of Extended Fuzzy Turing Machines equipped with indeterminacy s...
متن کاملSuper-tasks, accelerating Turing machines and uncomputability
Accelerating Turing machines are abstract devices that have the same computational structure as Turing machines, but can perform super-tasks. I argue that performing super-tasks alone does not buy more computational power, and that accelerating Turing machines do not solve the halting problem. To show this, I analyze the reasoning that leads to Thomson's paradox, point out that the paradox rest...
متن کاملA Universal Interface for Video Game Machines Using Biological Signals
This paper proposes a universal entertainment interface for operation of amusement machines, such as video game machines and radio control toys. In the proposed interface system, biological signals are used as input, where users can choose some specific biological signal and configuration of signal measurement in accordance with their preference, physical condition (disabled or not), and degree...
متن کاملAccelerating Machines
This work presents an overview of accelerating machines We begin by exploring the history of the accelerating machine and the potential power that it provides We look at some of the problems that could be solved with an accelerating machine and we review some of the possible implementation methods that have been presented Finally we review the limitations of accelerating machines and conclude b...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- IJUC
دوره 3 شماره
صفحات -
تاریخ انتشار 2007